Semantics of Message Sequence Charts
نویسندگان
چکیده
The language of MSC diagrams is widely used for the specification of communicating systems, the design of software and hardware for real time and reactive systems, and other industrial applications. Often it is used as an abstraction of systems specified in SDL or UML (in the form of sequence diagrams). In this paper, a novel representation of the semantics of message sequence charts is described. This formulation has been developed to enable the implementation of tools aimed at the verification of requirements for interactive systems. Our definition of the formal semantics of the language of MSC diagrams relies on the theory of interaction of agents and environments. This approach helped to simplify the definition of the semantics in comparison to other approaches based on highly sophisticated process algebras and it brought the definition of the semantics closer to possible implementations.
منابع مشابه
An algebraic semantics of Message Sequence Charts
Message Sequence Charts is a graphical and textual language for the description and speciication of the interactions between system components and their environment. The language is standardized by the ITU-TS (the Telecommunication Standardization section of the International Telecommunication Union, the former CCITT). The main area of application for Message Sequence Charts is as an overview s...
متن کاملHigh-level message sequence charts
We study High-level Message Sequence Charts – a concept incorporated into MSC96 for composing MSCs explicitly. A formal semantics is given which extends the accepted process algebra semantics of MSC92. We assess the language by studying a simple example, which leads us to consider the extension of HMSC with gates.
متن کاملPomsets for Message Sequence Charts
Message sequence charts (MSCs) are a standardised formalism for the specification of the system’s communication behaviour that is widely used by industry. Various extensions to MSCs have recently been standardised by the ITU. This paper treats the extension of MSCs with structural operators that allow the hierarchical composition of MSCs. In particular, we propose a linear-time partial-order se...
متن کاملComments on a Proposed Semantics for Basic Message Sequence Charts
In MR94], Mauw and Reniers propose an interpretation for a basic form of Message Sequence Charts (MSCs) CCI92], based on process algebra and Plotkin semantics. They \use the textual notation for Basic MSCs] for the deenition of the semantics" MR94, Section 2.3]. They deene \the semantics of a Basic Message Sequence Chart as] the free merge of its constituent instances. By this construction we e...
متن کاملImplementing Message Sequence Charts in Promela { Preliminary Extended
We have previously de ned a formal semantics for Message Flow Graphs and Message Sequence Charts, capturing most of the syntactic features contained in ITU-T recommendation Z.120. We discuss here a translation of MSCs into the language Promela, and report on experiments executing the Promela code using the SPIN simulator and validator.
متن کاملThe Formalization of Message Sequence Charts
We discuss the state of a airs with respect to the formalization of Message Sequence Charts (MSC) and identify which parts of the de nition of MSC are still candidate for formalization. Further, we give a tutorial on the formal semantics of MSC. The semantics of all features from the MSC language is treated by presenting small examples and the corresponding process algebra expressions.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005